Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔬 Logic in Computer Science
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
28876
posts in
21.9
ms
What every computer science major should know
matt.might.net
·
3h
·
Discuss:
Hacker News
🔩
Systems Programming
A Foundation for
Differentiable
Logics
using Dependent Type Theory
arxiv.org
·
22h
🔠
Type-Level Programming
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
10h
🔧
Hardware Verification
Differential
Logic
• 15
inquiryintoinquiry.com
·
9h
⚔️
Lean Theorem
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
extended C*-
algebra
in
nLab
ncatlab.org
·
7h
🧮
Algebraic Archives
An AI Odyssey, Part 1:
Correctness
Conundrum
johndcook.com
·
43m
🔧
Hardware Verification
Show HN: Turn – A
compiled
systems language for agentic
computation
news.ycombinator.com
·
10h
·
Discuss:
Hacker News
🌐
Protocol Synthesis
ReasonX
:
Declarative
Reasoning on Explanations
arxiv.org
·
22h
🔗
Constraint Handling
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
5h
·
Discuss:
Hacker News
🧬
Functional Programming
The
Math
Behind the Match: Building Production Search for People
Names
hackernoon.com
·
6h
🌳
Trie Structures
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🔗
Functional Compilers
Gödel
,
slowly
…
logicmatters.net
·
2d
λ
Lambda Formalization
Claude code
underlap.org
·
1d
🔩
Systems Programming
Differential
Logic
• 14
inquiryintoinquiry.com
·
2d
⚔️
Lean Theorem
From
Relational
Algebra
to Document Semantics
dl.acm.org
·
3d
·
Discuss:
DEV
🔢
Denotational Semantics
Completing
the formal proof of higher-dimensional sphere
packing
math.inc
·
8h
·
Discuss:
Hacker News
⚽
Sphere Packing
Translating
C To Rust:
Lessons
from a User Study
papers.cool
·
23h
🦀
Rust Borrowing
Show HN:
Deterministic
symbolic memory layer for
grounding
LLMs
github.com
·
18h
·
Discuss:
Hacker News
⚡
Hardware Transactional Memory
Testing AI Agents:
Deterministic
Evaluation
in a
Non-Deterministic
World
sitepoint.com
·
7h
🔍
Concolic Testing
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help